* dispnew.c (update_frame_1): Pacify gcc -Wstrict-overflow

for GCC 4.7.1 x86-64.

diff --git a/src/ChangeLog b/src/ChangeLog
index b6bdb394585cce0458adfb3ecda451b2df2c5be4..96a81095be2379007a7f5a56184b0a08dd2bf94a 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-30  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * dispnew.c (update_frame_1): Pacify gcc -Wstrict-overflow
+       for GCC 4.7.1 x86-64.
+
 2012-08-30  Glenn Morris  <rgm@gnu.org>
 
        * lread.c (init_lread): For out-of-tree builds, only add the

diff --git a/src/dispnew.c b/src/dispnew.c
index 4e3078801117e4c110e89250d15aedb0bb4498eb..2d232d49c53a4aa1bac0a04167e9504d09792798 100644 (file)
--- a/src/dispnew.c
+++ b/src/dispnew.c
@@ -4690,6 +4690,7 @@ update_frame_1 (struct frame *f, bool force_p, bool inhibit_id_p)
        }
     }
 
+  lint_assume (0 <= FRAME_LINES (f));
   pause_p = 0 < i && i < FRAME_LINES (f) - 1;
 
   /* Now just clean up termcap drivers and set cursor, etc.  */